21. Arithmetic, Proof theory and computational complexity
پدیدآورنده : edited by Peter Clote and Jan Krajicek
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
22. Arithmetic, proof theory, and computational complexity
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Proof theory,Computational computational complexity
23. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
24. Basic proof theory
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T73
25. Basic proof theory
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T73
2000
26. Basic proof theory
پدیدآورنده : A.S. Troelstra, H. Schwichtenberg,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Proof theory
رده :
QA
.
T76
9
.
54
1996
27. Basic proof theory
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T76
2000
28. Beweistheorie
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
S377
29. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
30. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
31. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
32. Complexity of proofs and their transformations in axiomatic theories
پدیدآورنده : Orevkov, V. P.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
O713
33. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده : edited by M. M. Richter ... ]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
34. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edite by M. M. Richter, ... ]et al.[
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
35. Conditional and preferential logics
پدیدآورنده : Gian Luca Pozzato
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA
,
9
,.
P65
,
2010
36. Conditional and preferential logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Proof theory. ;
37. Conjecture and proof
پدیدآورنده : Laczkovich, Miklos
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
L22
38. Contemporary perspectives on religious epistemology
پدیدآورنده : edited by R. Douglas Geivett, Brendan Sweetman
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Knowledge, Theory of )Religion(,Proof ، God,، Atheism
رده :
BL
51
.
C6
39. Contemporary perspectives on religious epistemology
پدیدآورنده : edited by R. Douglas Geivett, Brendan Sweetman
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Knowledge, Theory of )Religion(,Proof ، God,، Atheism
رده :
BL
51
.
C6
40. Contemporary perspectives on religious epistemology
پدیدآورنده : edited by R. Douglas Geivett, Brendan Sweetman
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Knowledge, Theory of )Religion(,Proof ، God,، Atheism
رده :
BL
51
.
C66